COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00012 00003	.bb Concepts as objects
C00013 00004	.bb "Why separate epistemology from heuristics?"
C00015 00005	.bb "Representing facts in first order logic."
C00016 ENDMK
C⊗;
.bb Concepts as objects

.bb "Why separate epistemology from heuristics?"

	If cognology were an easy subject and artificial intelligence
were easy to achieve, there might be little point in
studying epistemological problems separately from heuristic ones.
We would decide what information was to be represented in our robot
and how it is to be represented in conjunction with the algorithms
that decided what to do.  We would not need to consider what modes
of reasoning are allowable separately from deciding what information
is generated in each part of the program.  Even today if one is
designing a program for a specific task, the epistemology should
be integrated with the heuristics.  Hopefully, the separate study
of epistemology will provide facts that will help in designing
specific systems.
.bb "Representing facts in first order logic."